<html>
<head><meta charset="utf-8"><title>Checking status of index in GenKill analysis · t-compiler/help · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/index.html">t-compiler/help</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Checking.20status.20of.20index.20in.20GenKill.20analysis.html">Checking status of index in GenKill analysis</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="233827311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/Checking%20status%20of%20index%20in%20GenKill%20analysis/near/233827311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Hilmar Gústafsson <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Checking.20status.20of.20index.20in.20GenKill.20analysis.html#233827311">(Apr 09 2021 at 14:10)</a>:</h4>
<p>Hey everyone. I'm implementing a taint analysis using the MIR dataflow framework in the compiler, but I'm not sure how to check the current lattice value of a given element.</p>
<p>For example, I want to mark a local as tainted if it has at any point been assigned to using _another_ tainted local. How do I check the status in a GenKill analysis at a certain index?</p>



<a name="233827474"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/Checking%20status%20of%20index%20in%20GenKill%20analysis/near/233827474" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Checking.20status.20of.20index.20in.20GenKill.20analysis.html#233827474">(Apr 09 2021 at 14:12)</a>:</h4>
<p><a class="stream" data-stream-id="189540" href="/#narrow/stream/189540-t-compiler.2Fwg-mir-opt">#t-compiler/wg-mir-opt</a> might be a better place</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>